i1 : R = QQ[a..d]/(a*d-b*c) o1 = R o1 : QuotientRing |
i2 : Q = Proj R o2 = Q o2 : ProjectiveVariety |
i3 : OO_Q^5 5 o3 = OO Q o3 : coherent sheaf on Q, free |
i4 : IL = sheaf module ideal(a,b) o4 = image | a b | 1 o4 : coherent sheaf on Q, subsheaf of OO Q |
i5 : IL^3 o5 = image | a b 0 0 0 0 | | 0 0 a b 0 0 | | 0 0 0 0 a b | 3 o5 : coherent sheaf on Q, subsheaf of OO Q |